Applying a Formal Method in Industry: A 15-Year Trajectory
نویسنده
چکیده
This article presents industrial experience of applying the B formal method in the industry, on diverse application fields (railways, automotive, smartcard, etc.). If the added value of such an approach has been demonstrated over the year, using a formal method is not the panacea and requires some precautions when introduced in an industrial development cycle.
منابع مشابه
Trajectory Tracking of Two-Wheeled Mobile Robots, Using LQR Optimal Control Method, Based On Computational Model of KHEPERA IV
This paper presents a model-based control design for trajectory tracking of two-wheeled mobile robots based on Linear Quadratic Regulator (LQR) optimal control. The model proposed in this article has been implemented on a computational model which is obtained from kinematic and dynamic relations of KHEPERA IV. The purpose of control is to track a predefined reference trajectory with the best po...
متن کاملWellbore Trajectory Optimization of an Iranian Oilfield Based on Mud Pressure and Failure Zone
Determination of the borehole and fracture initiation positions is the main aim of a borehole stability analysis. A wellbore trajectory optimization with the help of the mud pressure may be unreasonable since the mud pressure can only reflect the degree of difficulty for the initial damage to occur at the wellbore rather than the extent of the wellbore damage. In this work, we investigate...
متن کاملFive-Year Epidemiological Study and Estimation of Accidents Distribution in Construction Industry Workers in Yazd City by the Year 2011 by Applying Time Series Model
Background & Aims: Occupational accidents are known as one of the most important causes of disabilities and mortality in developed and developing countries. Construction industry is one of the most high risk occupations which its hazardous are not known completely. In addition to occupational accidents, construction workers are faced many diseases factors such as asbestos, silicon, fumes and no...
متن کاملApplying Network Data Envelopment Analysis to Determine a Criterion for Benchmarking in Regional Electricity Companies of Iran.
One of the effective methods for improving the efficiency of an organization is benchmarking against successful organizations. Not only benchmarking could be a technique for identifying problems but also it greatly helps managers in relations of the design of processes. Among strategic and infrastructure industries in each country, the electricity industry is one of the most important and criti...
متن کاملExplaining Challenges of Applying the Technology and Innovation University in Higher Education System
Introduction: Technology and innovation universities of third generation are universities whose main concern is teaching, learning and entrepreneurship. Regarded to the role of third generation universities in the commercialization of knowledge and entrepreneurship, present research aimed to explaining challenges of applying the technology and innovation university in higher education system. M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009